Functor category

Results: 352



#Item
221Algebraic topology / Homology theory / Hurewicz theorem / Homotopy group / Category theory / Crossed module / Fundamental group / Functor / Seifert–van Kampen theorem / Abstract algebra / Topology / Homotopy theory

HOMOTOPICAL EXCISION, AND HUREWICZ THEOREMS, FOR n-CUBES OF SPACES ∗ Ronald Brown and Jean-Louis Loday Introduction The fact that the relative homotopy groups do not satisfy excision makes the computation of absolute h

Add to Reading List

Source URL: pages.bangor.ac.uk

Language: English - Date: 2006-12-24 10:28:00
222Functors / Additive categories / Homological algebra / Initial and terminal objects / Functor category / Functor / Yoneda lemma / Natural transformation / Abelian category / Category theory / Abstract algebra / Mathematics

Derived categories. Winter[removed]Igor V. Dolgachev May 5, 2009 ii

Add to Reading List

Source URL: www.math.lsa.umich.edu

Language: English - Date: 2009-05-05 15:12:00
223Computing / Data types / Adjoint functors / Type theory / Monad / Map / Option type / Functor / Natural transformation / Declarative programming / Software engineering / Functional programming

The Typeclassopedia by Brent Yorgey [removed] The standard Haskell libraries feature a number of type classes with algebraic or category-theoretic underpinnings. Becoming a fluent Haskell hacker requires in

Add to Reading List

Source URL: www.haskell.org

Language: English - Date: 2011-08-16 16:00:20
224Category theory / Monad / Functor / Map / Natural transformation / Monoid / List / Applicative programming language / Strong monad / Adjoint functors / Abstract algebra / Software engineering

Under consideration for publication in J. Functional Programming 1 The Essence of the Iterator Pattern Jeremy Gibbons and Bruno C. d. S. Oliveira

Add to Reading List

Source URL: www.cs.ox.ac.uk

Language: English - Date: 2008-03-11 08:14:50
225Category / Dual / Natural transformation / Morphism / Higher category theory / Schema / Equivalence of categories / Coproduct / Functor / Category theory / Abstract algebra / Mathematics

General Schemas Theory and N-Categories -- Kent Palmer here and not trying to go too far, but just far enough to show the promise of this area of research with regards to General Schemas Theory.

Add to Reading List

Source URL: holonomic.net

Language: English - Date: 2014-02-16 18:13:51
226Mathematics / Petri net / Adjoint functors / Pullback / Morphism / Functor / Sheaf / Category / Subcategory / Abstract algebra / Category theory / Algebra

The unfolding of general Petri nets Jonathan Hayman Glynn Winskel Computer Laboratory, University of Cambridge, England Abstract

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2008-07-22 10:38:14
227Algebraic topology / Sheaf theory / Sheaf / Functor / Monad / Grothendieck topology / Affine space / Initial and terminal objects / Category theory / Abstract algebra / Algebra

1 Linearity and nonlinearity in distributed computation Glynn Winskel Cambridge University Computer Laboratory

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2003-07-31 08:01:20
228Sheaf theory / Models of computation / Functors / Theoretical computer science / Sheaf / Initial and terminal objects / Presheaf / Direct image functor / Denotational semantics / Category theory / Mathematics / Abstract algebra

Relations in Concurrency Invited talk (corrected version) Glynn Winskel, University of Cambridge Computer Laboratory, England Abstract The theme of this paper is profunctors, and their centrality and ubiquity in understa

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2006-08-31 15:16:32
229Monoidal categories / Category theory / Abstract algebra / Functor / Trace / Dual / Tensor product / Monoid / Morphism / Algebra / Mathematics / Linear algebra

Two 2-traces Simon Willerton University of Sheffield Tr& (f ) :=

Add to Reading List

Source URL: www.simonwillerton.staff.shef.ac.uk

Language: English - Date: 2008-12-03 15:25:51
230Category / Dual / Natural transformation / Morphism / Higher category theory / Schema / Equivalence of categories / Coproduct / Functor / Category theory / Abstract algebra / Mathematics

General Schemas Theory and N-Categories -- Kent Palmer here and not trying to go too far, but just far enough to show the promise of this area of research with regards to General Schemas Theory.

Add to Reading List

Source URL: emergentdesign.net

Language: English - Date: 2014-02-16 18:13:51
UPDATE